fixed cbmc build