Trying to fix a github page build error