FFI: remove obsolete #include <srvthread.h>