Added command line option --bc to specify the generated bc file name.