dist_HEADERS fixed