Vagrant build fixes

Does the old hostname need deleting?