Merge pull request #3325 from alexanderkyte/fix_bitcode_mini