util.cc: zifstream rewritten to use popen() rather than /tmp/ files.