我正在使用 ubuntu 13.10 x64，我正在尝试构建 php 5.3.8，我下载了源代码并运行了配置：
./configure --enable-fpm --with-fpm-user=www-data --with-fpm-group=www-data
--with-tidy --with-config-file-path=/usr/local/php/conf
--with-config-file-scan-dir=/usr/local/php/conf.d --enable-debug --with-openssl
--with-kerberos --with-zlib --enable-calendar --with-curl --with-curlwrappers
--with-enchant --enable-exif --enable-ftp --with-gd --with-jpeg-dir=/usr
--with-png-dir=/usr --with-vpx-dir=/usr --with-freetype-dir=/usr --with-t1lib
--enable-exif --enable-gd-native-ttf --enable-gd-jis-conv --with-gettext
--with-gmp --with-mhash --enable-intl --enable-mbstring --with-mcrypt --with-mysql
--with-mysqli --enable-pcntl --with-pdo-mysql --with-pdo-pgsql
--with-pgsql --with-pspell --with-libedit --with-readline --enable-shmop
--with-snmp --enable-soap --enable-sockets --enable-sysvmsg --enable-sysvshm
--with-xsl --enable-zip --with-pear --enable-zend-signals --enable-maintainer-zts
我得到了这个错误：configure: error: Unable to locate gmp.h
我已经安装libgmp-dev并libgmp3-dev使用了，sudo apt-get install libgmp-dev libgmp3-dev但仍然无法成功运行配置，请问如何解决这个问题？
如果我跑步，locate gmp.h我可以在这里看到：
/usr/include/linux/igmp.h
/usr/include/netinet/igmp.h
/usr/include/x86_64-linux-gnu/gmp.h
/usr/src/linux-headers-3.11.0-12/include/linux/igmp.h
/usr/src/linux-headers-3.11.0-12/include/uapi/linux/igmp.h
/usr/src/linux-headers-3.11.0-12-generic/include/linux/igmp.h
/usr/src/linux-headers-3.11.0-13/include/linux/igmp.h
/usr/src/linux-headers-3.11.0-13/include/uapi/linux/igmp.h
/usr/src/linux-headers-3.11.0-13-generic/include/linux/igmp.h
谢谢！