terminal preferences - add the profile id back