Obsolete file was removed.