/MANIFESTFILE lets you change the default name of the manifest file. The default name of the manifest file is the file name ...