add php5-dev