rename php to php5