Make it build on x86-64/linux