no need for these files anymore (maybe tmux, but if reinstalled...)