workaround for ia64 /emul/ia32-linux crap