diff --git a/lib/pg-tools/nusmv/runner.rb b/lib/pg-tools/nusmv/runner.rb
index 6883f47..24a318e 100644
--- a/lib/pg-tools/nusmv/runner.rb
+++ b/lib/pg-tools/nusmv/runner.rb
@@ -53,7 +53,7 @@ def find_nusmv_path
                 return Settings.numsv.path if File.file?(Settings.numsv.path)
 
                 # Fall back to looking in the addon directory
-                candidates = Dir[File.join(PgTools.addon_dir, "*", "bin", "NuSMV")]
+                candidates = Dir[File.join(PgTools.addon_dir, "*", "bin", "NuSMV*")]
                 return candidates.sort.first unless candidates.empty?
             end