Make default the 'klee' tool, not 'klee-symbiotic'
Make default the 'klee' tool, not 'klee-symbiotic'

Those names are not good, btw.

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic