#718 fix preg_replace unknown option bit