ssh_options_for_machine might work without config now, modifying /home/marvin/.bashrc in virtualop_install now