CBMC installer made further