Fix so that 'vagrant ssh -c' works