title: cabal: Encountered missing dependencies: z3 >=4.1.0
body: <p>I tried to install <a href="https://github.com/ucla-pls/wiretap-tools" rel="nofollow noreferrer">wiretap-tools</a> from its repository. When I run <code>cabal configure</code> from inside the folder, I get :</p>
  
  <pre><code>cabal: Encountered missing dependencies:
  z3 &gt;=4.1.0
  </code></pre>
  
  <p>I have already installed z3 using <code>sudo apt-get install z3</code>. I added <code>/usr/bin</code> to path variable, where z3 seems to be installed. When I run <code>z3 -version</code>, I get <code>Z3 version 4.8.0 - 64 bit</code>. Still the configure command gives the error.</p>