tweak to force github page re-generation