add support for x32 on x86_64