remove the mingw debian packages as we don't need them

2018-11-19, Gary Kramlich