.lib files are the old (IIRC v5 and previous) format. I think you have to register or import as legacy format. Be warned, symbols from the Internet are often deficient in other ways and you may find yourself spending more time fixing up than if you made them yourself.
Also 8.0.1 is old and buggy and you should upgrade to the latest stable 8.0.6 at the time of writing.