Oh, okay, thanks for the info. What about the extension for the bitcode file? Should I somehow force it to generate LLVM bitcode with .bc extension?