Delete now obsolete file