Work around that IRSTLM bug