Installs php5-dev for Ubuntu