anchor.diff:  })
   <p>I want to install it in my @('\$HOME/usr') directory prefix, but you can
     replace that part of the path with your conventional path. Note that Z3
  -  restricts that @('--prefix') be the prefix of @('--pypkgdir').</p>
  +  restricts @('--prefix') to be the prefix of @('--pypkgdir').</p>
   </li>
   <li>Now make the C/C++ libraries, do:
   @({
  
positive.code: export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH
  })
  </li>
  <li>Now one should be able to import z3 into Python. One can test it by
  doing:
  @({
    from z3 import *
  
negative.code: @({
  make install
  })
  <p>Now if one takes a look at @('$HOME/usr'), one will see in @('$HOME/usr/bin'),
  we have the @('z3') executable, in @('$HOME/usr/include') we have all the z3
  C++ header files, in @('$HOME/usr/lib') we have @('libz3.dylib') and in
  @('$HOME/usr/lib/python-2.7/site-packages') we have all the z3 Python API
  