Fix up the mingw-w64-i686 issue with debian

2020-04-28, Gary Kramlich