I'll follow this on with a pr if I don't hear back shortly. The coldsync port is marked broken. I was able to fix it by editing the source of symboltable.cc, and moving the #include "config.h" until after the other includes. Should be a 30 second effort to generate a patch. -Brian