add a note regarding the required version of Z3