fix compilation under x86_64