Rename krypto header to avoid clashes with openssl crypto.