added php5-dev package to php module