add config to choose which terminal to use
fix backslash bug