Now everything should be ready for the AMD64 port