KEYS: The RSA public key algorithm needs to select MPILIB