Fix buildbreak for Github Pages

#DONT MERGE#