fix translation on 32bit linux