some updates from devbox, esp for tmux & seoul