after bugfix, raise PHP to latest version, too