Remove old Terminal theme.