diff --git a/make_forward b/make_forward
index 4853490b..5a606249 100644
--- a/make_forward
+++ b/make_forward
@@ -38,6 +38,9 @@ makefile:
 tree: $(TREE)
 	@ true
 
+cleantree:
+	rm -f $(SICS_ROOT)/obj/$(SICS_VERSION)/tree
+
 $(TREE):
 	@ $(VERS_UNDEFINED) test 1
 	@ echo --- Make object tree ---
@@ -48,6 +51,7 @@ $(TREE):
 	@ $(SICS_ROOT)/maketree psi/hardsup
 	@ $(SICS_ROOT)/maketree psi/utils
 	@ $(SICS_ROOT)/maketree psi/tecs
+	@ $(SICS_ROOT)/maketree psi/tecs/pgplus
 	touch $(TREE)
 	@ echo --- End object tree ---