Changing slime to use tmux by default