phpMyAdmin: use system phpseclib