Don't complain if FIPS is disabled