Attempt to fix GitHub Pages build.