build: do not try adding klee binary if it is not built
build: do not try adding klee binary if it is not built

Signed-off-by: Marek Chalupa <2ec68d8033ee11c75b31c3efa204dbc26c692ff1@fi.muni.cz>

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