Got rid of obsolete file.
Got rid of a useless file.