add missing #include <pthread.h> to rec-channel.hh