_bad_clean() to bad_clean() in php_utf8