Let GHCi work with with Sparc32+/V8+ .o files