minor changes to force recompilation on github pages