Fixing the CI Server vagrant file