EXTRA_DIST = \ gen_symbol_version_map.awk \ gen_symbol_header.awk