Update default terminal as the old setting doesn't work on all boxes