Fix dist missing an header file;
Fix mingw32 build
Put every header in SOURCES as per Hoa's request
Merge pull request #135 from colinleroy/master

Fix dist missing an header file