More tweaks to config file for github pages.