我无法将 gettext 扩展与 PHP-CLI 一起使用。配置 php.ini 后，每当我使用时都会收到此错误消息php：
PHP 警告：PHP 启动：无法加载动态库 '/usr/lib/php5/20131226/gettext.so' - /usr/lib/php5/20131226/gettext.so：未定义符号：PL_thr_key in Unknown on line 0
/etc/php5/cli/php.ini
扩展名=gettext.so
我同时安装了 gettext 和 php-gettext：
gettext 已经是最新版本。
php-gettext 已经是最新版本。
然而， gettext.so 似乎缺少/usr/lib/php5/20131226/：
# 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
PHP版本：
$ 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
我该怎么做才能让它工作？