Use MIRA 4.0 RC5 instead of RC4