Works on Mac and Linux: CBMC installer