klee: fix building 32-bit library
klee: fix building 32-bit library

remove the old runtime library and run make clean, otherwise make
won't build it.

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