fix php5-cli