bashrc: long overdue cleanup