Adding namespace CMSat to everything