diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant
index 68250b102179..e2acaccb4afd 100644
--- a/python/build/python_plugin_build.gant
+++ b/python/build/python_plugin_build.gant
@@ -77,6 +77,7 @@ target(name: "compile", description: "Compile module python") {
       include(name: "pydevSrc")
       include(name: "openapi/src")
       include(name: "psi-api/src")
+      include(name: "pluginResources")
     }
     dirset(dir: "${pluginHome}/../ultimate/ultimate-verifier") {
       include(name: "src")