src/cbmc/cbmc usr/bin/
src/goto-cc/goto-cc usr/bin/
src/goto-instrument/goto-instrument usr/bin/
