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

closes #1707