Remove duplicate php5-dev param