Add new headerfiles to dist_noinst_HEADERS