Fixes to cbmc install process