Run util/openssl-format-source on the Curve448 code