diff --git a/cfg/warson/eigen.profile b/cfg/warson/eigen.profile
deleted file mode 100644
index 8477a380dbf5f7024156aec2f10df25e4ea6e524..0000000000000000000000000000000000000000
--- a/cfg/warson/eigen.profile
+++ /dev/null
@@ -1 +0,0 @@
-add2env INCLUDE "/opt/eigen/include/eigen3"
diff --git a/cfg/warson/gmsh.profile b/cfg/warson/gmsh.profile
index 59205fde9394398a0c0f0da1e98c505a491f3fc1..bc68515e729ec126fe560efc3a6fd8d84dda3207 100644
--- a/cfg/warson/gmsh.profile
+++ b/cfg/warson/gmsh.profile
@@ -1,7 +1,5 @@
-add2env PATH "/opt/gmsh/bin" front
-add2env INCLUDE "/opt/gmsh/include" front
-add2env LIB     "/opt/gmsh/lib" front
+add2env PATH            "/opt/gmsh/bin" front
+add2env INCLUDE         "/opt/gmsh/include" front
+add2env LIB             "/opt/gmsh/lib" front
 add2env LD_LIBRARY_PATH "/opt/gmsh/lib"
-add2env PYTHONPATH "/opt/gmsh/lib"
-add2env INCLUDE "/opt/gmsh/include"
-add2env LIB "/opt/gmsh/lib"
+add2env PYTHONPATH      "/opt/gmsh/lib"