--- apps/polytope/rules/latte.rules.orig	2020-02-19 02:55:20.000000000 -0700

+++ apps/polytope/rules/latte.rules	2020-02-19 20:29:57.006681648 -0700

@@ -24,7 +24,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