repair xmap_filter.pl