php segmentation fault

Hi,

We are experiencing a segfault using the plugin on a php7 setup that we were not seeing in php5.3. When we comment out the lines:
if ( !defined( ‘SID’ ) )
define(‘SID’, true);
from classes/class-italy-cookie-choices-front-end.php, the problem goes away. Can you provide any clues as to why this would be happening?
End of the stack trace:
Program terminated with signal 11, Segmentation fault.
#0 zend_string_release (s=0x2) at /usr/src/debug/php-7.0.11/Zend/zend_string.h:269
269 if (!ZSTR_IS_INTERNED(s)) {
(gdb) bt
#0 zend_string_release (s=0x2) at /usr/src/debug/php-7.0.11/Zend/zend_string.h:269
#1 php_session_reset_id () at /usr/src/debug/php-7.0.11/ext/session/session.c:1555
#2 0x00007fbbc8cb3748 in php_session_initialize () at /usr/src/debug/php-7.0.11/ext/session/session.c:542
#3 0x00007fbbc8cb4165 in php_session_start () at /usr/src/debug/php-7.0.11/ext/session/session.c:1693
…
(gdb) up
#1 php_session_reset_id () at /usr/src/debug/php-7.0.11/ext/session/session.c:1555
1555 zend_string_release(Z_STR_P(sid));
(gdb) list
1550 REGISTER_STRINGL_CONSTANT(“SID”, ZSTR_VAL(var.s), ZSTR_LEN(var.s), 0);
1551 smart_str_free(&var);
1552 }
1553 } else {
1554 if (sid) {
1555 zend_string_release(Z_STR_P(sid));
1556 ZVAL_EMPTY_STRING(sid);
1557 } else {
1558 REGISTER_STRINGL_CONSTANT(“SID”, “”, 0, 0);
1559 }
(gdb)

Thanks!