That's really strange because this class is defined in exactly the same file. Maybe something went wrong on extracting or installing the files. Redownload and reinstall again. If the problem persists, post a
bugreport with all relevant details (OS, PHP version, ...).