Deleted obsolete file, do not worry