0.3.7 version + specific version of Z3 which works

the latest from Oct 15, 2014 does not work.