fix compilation on x86_64