the folder should be called phpseclib/