title: build php5.3.8 on ubuntu , get error: configure: error: Unable to locate gmp.h
body: <p>I am using ubuntu 13.10 x64, and I'm trying build php 5.3.8, I downloaded the source code and run the configure:</p>
  
  <pre><code>./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
  </code></pre>
  
  <p>And I got this error: <code>configure: error: Unable to locate gmp.h</code></p>
  
  <p>I have installed <code>libgmp-dev</code> and <code>libgmp3-dev</code> use <code>sudo apt-get install libgmp-dev libgmp3-dev</code> but still can't run the configure successfully, how can I fix this problem?</p>
  
  <hr>
  
  <p>if I run <code>locate gmp.h</code> I can see it here:</p>
  
  <pre><code>/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
  </code></pre>
  
  <p>Thanks!</p>