diff --git a/tools/marvin/pom.xml b/tools/marvin/pom.xml
index 8cb9ec370d5..a3bd5460fd5 100644
--- a/tools/marvin/pom.xml
+++ b/tools/marvin/pom.xml
@@ -88,6 +88,7 @@
     <profile>
       <id>marvin</id>
       <activation>
+        <property><name>marvin.config</name></property>
       </activation>
       <build>
         <plugins>