Remove an old, unused file