fix(z.fs): Fix parameter setting for z3 4.3.2 (released)
doc(README): Make build instructions slightly more precise