remove gui dependency from redex