Recompile 32-bit binaries to not require linux-like names