fix php5-curl