title: Unable to install z3
body: <p>I'm trying to build Z3 from sources (v. 4.3.1., Nov 2013, z3-89c1785b7322), using make/g++ and Python, with the following results  </p>
  
  <pre><code> autoconf                       -- succeeded
   ./configure                    -- succeeded
   python scripts/mk_make.py      -- error message, given below
  
  Traceback (most recent call last):
  
  File "scripts/mk_make.py", line 20, in &lt;module&gt;
  mk_makefile()
  
  File "/home/davidg/z3/scripts/mk_util.py", line 854, in mk_makefile
  c.mk_makefile(out)
  
  File "/home/davidg/z3/scripts/mk_util.py", line 666, in mk_makefile
  for cppfile in self.src_files():
  
  File "/home/davidg/z3/scripts/mk_util.py", line 659, in src_files
  return get_cpp_files(self.ex_dir)
  
  File "/home/davidg/z3/scripts/mk_util.py", line 246, in get_cpp_files
  return filter(lambda f: f.endswith('.cpp'), os.listdir(path))
  
  OSError: [Errno 2] No such file or directory: 'examples/c++'
  </code></pre>
  
  <p>I don't know if that should be a fatal error.  Proceeding as if it's not,</p>
  
  <pre><code> cd build
   make
  </code></pre>
  
  <p>seem to succeed, concluding with the message "Z3 was successfully built."  The next step</p>
  
  <pre><code> sudo make install
  </code></pre>
  
  <p>fails with the error</p>
  
  <pre><code> No rule to make target `install`
  </code></pre>
  
  <p>(There's also no target for 'uninstall'.)</p>
  
  <p>Grateful for any help</p>