Change machine for debian build.