fix gnutls build with automake 1.13