Made the default terminal configurable.