That's likely it, but I cannot find why pthreads does what it does. Git head is stable, but for one bug: sometimes it allocates memory it cannot free, and eventually needs restarting. It can happen twice in two days, or go weeks without happening.
Arnt
