Update php_gnutls.h