Fix ssh config (wrong filename)