Fix CMake build for Glucose Syrup#2099

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:bugfix/build/glucose_syrupmgudemann/cbmc:bugfix/build/glucose_syrupCopy head branch name to clipboard