Merge ../mosesdecoder into hieu
Merge branch 'hieu' of github.com:hieuhoang/mosesdecoder into hieu
Merge branch 'hieu' of github.com:hieuhoang/mosesdecoder into hieu
Merge branch 'hieu' of github.com:hieuhoang/mosesdecoder into hieu
use pigz if available