fix php version update