gui compiles with Class for theories