Class to install CBMC