CBMC installs for MAC, not tested yet