use reverse-mapped names in output file