SCons generates the shark-server binary