Fix github pages build errors