removed duplicate php5-curl caused by bad merge