deleting yet another obsolete file