Fix a buggy conversion from bytecode to bitcode