我无法在PHP-CLI中使用gettext扩展。
配置php.ini后，每当我使用/usr/lib/php5/20131226/时都会收到此错误消息：
PHP警告：PHP启动：无法加载动态库'/usr/lib/php5/20131226/gettext.so' - /usr/lib/php5/20131226/gettext.so:undefined symbol：PL_thr_key in Unknown on line 0
/etc/php5/cli/php.ini
extension = gettext.so
我安装了gettext和php-gettext：
gettext已经是最新版本了。
php-gettext已经是最新版本了。
然而，# ls -l
ah /usr/lib/php5/20131226/
total 488K
drwxr-xr-x 2 root root 4.0K Mai 18 18:36 .
drwxr-xr-x 4 root root 4.0K Mär 25 2015 ..
-rw-r--r-- 1 root root 88K Mär 24 2015 curl.so
-rw-r--r-- 1 root root 39K Sep 10 2014 json.so
-rw-r--r-- 1 root root 47K Mär 24 2015 mcrypt.so
-rw-r--r-- 1 root root 153K Mär 24 2015 opcache.so
-rw-r--r-- 1 root root 116K Mär 24 2015 pdo.so
-rw-r--r-- 1 root root 31K Mär 24 2015 readline.so
中似乎缺少gettext.so：
$ php -v
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php5/20131226/gettext.so' - /usr/lib/php5/20131226/gettext.so: cannot open shared object file: No such file or directory in Unknown on line 0
PHP 5.6.7-1+deb.sury.org~utopic+1 (cli) (built: Mar 24 2015 11:23:10)
Copyright (c) 1997-2015 The PHP Group
Zend Engine v2.6.0, Copyright (c) 1998-2015 Zend Technologies
PHP版本：
{{1}}
我该怎么做才能让它发挥作用？