Combined OpenSSL bitcode can’t be executed in KLEE

I’m trying to generate bitcode for each libs and modules in OpenSSL. The official command to compile OpenSSL is