Release version of scalaZ3 which uses only kernel32.dll and msvcr120.dll (not msvcr120d.dll