Fix dist01 ssh port