Remove duplicate php5-dev param

php5-dev mentioned twice in the same apt-get install