cherry-picked threadpool fix from master
cherry-picked threadpool fix from master

emjotde/amunn,emjotde/amunmt,amunmt/marian,amunmt/marian,marian-nmt/marian-train,marian-nmt/marian-train,emjotde/Marian,emjotde/amunmt,emjotde/Marian,emjotde/amunmt,marian-nmt/marian-train,marian-nmt/marian-train,emjotde/amunn,amunmt/marian,emjotde/amunmt,marian-nmt/marian-train,emjotde/amunn,emjotde/amunn