Fix the dependent version of taskthread (1.3)

This fixes the problem identified by guillaume. Sorry about that!