Don't use FIPS api for ec2_oct.c