Configure the paths to phpseclib and use the library in run_mosix.php.