Make the EC code available from inside the FIPS provider