Stub for zend_new_interned_string() for PHP 5.3.x