fixes #4: vagrant script