Can just modify the user name in vagrant setup