Add option to generate unrenamed symbols in mapping output