Don't use translated lens names internally

This fixes #10178. Please test if it breaks something else.