Make get_prompt work without errors from within .git directories. Update vm hostnames in .ssh/config.