update Vagrantfile to use mks5