Migrating Mac to PC Arduino Library

Sounds a bit like a downgrade.

You have to quit the IDE and restart it for it to find the libraries.