add some stuff to help with leak debugging