#121: remove outdated ssh_exe.php