fix include of php_smart_str.h