Using a new manifest directive, a different makefile can be specified, for cases where the project already contains a 'Makefile'