Fix dist missing an header file;
Fix mingw32 build