Quick links: content, navigation, search.
Fix compilation issue when gnutls is not in standard directory