我正在尝试在CircleCI构建机器（ubuntu 14.4）上安装Gettext，因为我的项目依赖于它。
我正在运行PHP 7。
我已经成功找到了PHP使用的.ini文件，并且我已经取消注释了这一行：
extension=php_gettext.dll
然而，我收到以下警告：
PHP Warning: PHP Startup: Unable to load dynamic library '/opt/circleci/php/7.0.2/lib/php/extensions/no-debug-non-zts-20151012/php_gettext.dll' - /opt/circleci/php/7.0.2/lib/php/extensions/no-debug-non-zts-20151012/php_gettext.dll: cannot open shared object file: No such file or directory in Unknown on line 0
我做错了什么？