Maybe just leave until we have proper autoloading in phpseclib.