Use default gtk{2,3} theme
Fixed non-posix escape character in bin/termctrl