diff --git a/makefile.gaz b/makefile.gaz
index c1b8bef97..2d3624aa0 100644
--- a/makefile.gaz
+++ b/makefile.gaz
@@ -134,7 +134,6 @@ platform_src :=		platform \
 					psswitch \
 					plift \
 					plurve \
-					psoil \
 					pbubtube \
 					pgbubble \
 					pfblock \