CI: fix mingw32 build

Authored by habacker on Apr 30 2020, 9:06 PM.