fix compilation against Z3MEM