Fixed. It's needed if the user wants to use PGI's tools to generate a license file.