Rename library

This is just a temporary commit to make the name change not so obvious
in the diff.