glk_set_window(NULL) should not be allowed