The english is slightly awkward. Recommend

<pre>Must have at least version 1.7.2 of sudo, which is where `includedir` was introduced.</pre>