packages have funny names in ubuntu