Rename the manifest file

it breaks autocompilation if not, it's harder to make it output to a
different file name and there is enough context in it being in the
manifest directory