benchmark name scrambled when preprocessor set to none

It seems that the benchmark names are scrambled to "theBenchmark" even when the preprocessor is set to none. I noticed this because the scrambler also removes the .smt2 extension, on which our solver was relying on for identifying the input language. This can be easily fixed by setting the language via command line, but it seems unnecessary to remove the extension when scrambling names.
See Job 1695: https://www.starexec.org/starexec/secure/details/job.jsp?id=1695

see https://starexec.forumotion.com/t60-restore-file-extension-for-renamed-benchmarks

Thank you, I didn't realize there was another post.