src/cbmc/cbmc usr/bin/
src/goto-cc/goto-cc usr/bin/
src/goto-instrument/goto-instrument usr/bin/
src/goto-analyzer/goto-analyzer usr/bin/
src/goto-diff/goto-diff usr/bin/
jbmc/src/jbmc/jbmc usr/bin/
jbmc/src/janalyzer/janalyzer usr/bin/
jbmc/src/jdiff/jdiff usr/bin/
