make switch-theme work in non-bash shells