fix #3957 (PCRE not defined)