fix tiger-seo/PhpBuiltinServer#10