title: Building z3 with Visual studio command prompt on Windows x64
body: <p>I downloaded z3 from gitHub <a href="https://github.com/Z3Prover/z3" rel="nofollow noreferrer">https://github.com/Z3Prover/z3</a>, I decide to download the source code in order to have all the files.</p>
  <p>I have followed the instruction in the file README.md for installing z3 on windows x64, but it didn't work. Then, I have  tried different command Prompt to launch &quot;scripts/mk_make.py -x&quot; as I saw in suggestions around the web.
  But the output is always the same:</p>
  <p><code> &lt;Generating src\util\z3_version.h from src\util\z3_version.h.in                                                       Traceback (most recent call last):File &quot;scripts/mk_make.py&quot;, line 16, in &lt;module&gt;                                  update_version()                                                                                                File &quot;C:\Program Files (x86)\z3\scripts\mk_util.py&quot;, line 2750, in update_version mk_version_dot_h(major, minor, build, revision)                                                                        File &quot;C:\Program Files (x86)\z3\scripts\mk_util.py&quot;, line 2772, in mk_version_dot_h                                configure_file(version_template, version_header_output,                                                              File &quot;C:\Program Files (x86)\z3\scripts\mk_util.py&quot;, line 3426, in configure_file    with open(output_file_path, 'w') as f:                                                                                 PermissionError: [Errno 13] Permission denied: 'src\\util\\z3_version.h'&gt;.</code></p>
  <p>Does anyone know what I have to do?</p>
  <p>Thanks a lot if someone will answer me!!</p>