Fix github.io page build.