diff --git a/make_forward b/make_forward
index 5a606249..9db81950 100644
--- a/make_forward
+++ b/make_forward
@@ -51,7 +51,7 @@ $(TREE):
 	@ $(SICS_ROOT)/maketree psi/hardsup
 	@ $(SICS_ROOT)/maketree psi/utils
 	@ $(SICS_ROOT)/maketree psi/tecs
-	@ $(SICS_ROOT)/maketree psi/tecs/pgplus
+	@ $(SICS_ROOT)/maketree psi/tecs/pg_plus
 	touch $(TREE)
 	@ echo --- End object tree ---