Fix dist missing an header file

and fix mingw32 build :)