Made all the vagrant files use 8080