Changed the names of the bitcode library files.