Fix vagrant script