How can a library.properties-file cause an error no such file or directory?

I am somewhat weak on where Arduino looks for libraries, but when I download a library from Github, I do not rename it. I use the library manager and install the zip I downloaded.

If you turn on verbose during compile, the error log may tell you exactly where it is looking for the file.

Alternately, you could just put the .cpp and .h files into your project directory.