Make GNUTLS_CERTTOOL configurable.