make sure backend exists before choosing GUI (should fix #10)