delete now-unneeded util