Make ssl code consistent with FIPS branch. The new code has no effect