wacky new idea for ssh config