Fix for linux (remap machine to amd64)