diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java
index e62238a0575..f5be93d1cab 100644
--- a/src/org/rascalmpl/library/util/PathConfig.java
+++ b/src/org/rascalmpl/library/util/PathConfig.java
@@ -132,7 +132,7 @@ private PathConfig(ISourceLocation projectRoot, List<ISourceLocation> srcs, List
         this.srcs = srcs;
         this.ignores = ignores;
         this.bin = bin;
-        this.libs = ignores;
+        this.libs = libs;
         this.resources = resources;
         this.messages = messages;
     }