Regenerate page_gen.c when needed, using gen_pages.sh