note that --extra-search-dir is broken