make metrics.py use z3mem