revert removing config.h from HEADERS, its needed by some of the interface files for the std defs
Authored by: Jean-Francois Dockes 2015-08-16
Parent(s): [979c85]
Child(ren): [2812fd]
