While f8d9272 fixed the issue with
being able to build, it led to removal of the `MANIFEST` files with
`make clean` or `make distclean. This commit fixes that.