setting to change default terminal shell