> Did you update the database with > sudo apt-file update ? I'm doing that right now. I didn't know that. Thanks folks for all your help, -- Robe. Hablamos de matar el tiempo como si no fuera él quien nos mata a nosotros.