Fix GitHub build.