workaround for mosesdecoder issue #76