Rename php state file to php5