Fix rlib creation. Change the filename of compressed bitcode

Fixes #12992

I tried to increase the number of deflate's probes. 23KB (0.5%) is not enough.