Got rid of an obsolete file from an old implementation.