public static function addPath($search_path)
    {
        if (!in_array($search_path, self::$search_paths, true)) {
            // add path to front of array since it is more likely we will find
            // class-definitions in manually added search paths
            array_unshift(self::$search_paths, $search_path);
        }
    }