raspberry pi: add /opt/vc/include/interface/vcos/pthreads to includes