Updated library line to point to the correct version.

This pull request is to fix the issue #6119