Added -b option to override the default bitcode output file name.