Mention that it is a fork of premake4