Make the kconfig-style build work in mingw: