Add a no-fips Configure option