Use explicit string length provided by the .mo