There seems to be an issue in Fedora's openssl on mingw. Fix our CI by working around the build failure.