Fix compilation error for TRANSLATION=DE