fix x86_64 wrongly reporting itself as ILP32 instead of LP64