php5-curl configuration fix