trying to add new provider, compressed_dir, to deal with the fact that eclipse installs as a dir and not an .app