Create php_gnutls.h