Fix Makefile to adapt to the latest API change in io-pages
Improve the headers of the generated files