add libreadline or else php-fpm will not work