Auto-close the terminal in Linux Mint 15