PHP: Properly set version to use.