Merge ../mosesdecoder into hieu
Merge branch 'hieu' of github.com:hieuhoang/mosesdecoder into hieu
Merge branch 'hieu' of github.com:hieuhoang/mosesdecoder into hieu
refilter if config file changed