Fix php version check, again