public static function glob($pattern, $flags = 0)
    {
        $r = [];
        foreach (explode(':', get_include_path()) as $path) {
            $r = array_merge($r, glob($p = $path . '/' . $pattern, $flags));
        }
        return array_unique($r);
    }