how to change default terminal in vscode