Added header files to SOURCES, and build_*.sh, so make dist works properly