added better string conversion in util.pxd