--- apps/polytope/rules/latte.rules.orig	2019-02-12 16:05:25.000000000 -0700
+++ apps/polytope/rules/latte.rules	2019-03-06 19:00:03.643216653 -0700
@@ -23,7 +23,7 @@ CREDIT latte
 custom $latte_count;
 
 CONFIGURE {
-   find_program($latte_count, "count", { prompt => "the program `count' from the LattE package" });
+   find_program($latte_count, "latte-count", { prompt => "the program `count' from the LattE package" });
 }
 
 # additional parameters for calling LattE's "count". See the manual of LattE for details, recommended options are