Firefox, profiles, and Linux