On line 274 of ktbdext.h getpid() needs to be changed to kc::getpid() We should look for an upstream fix else include a patch in bootstrap.sh.