Updating Vagrantfile to use mks4