A couple of temporary fixes to make site work on github pages