lib is in the workspace.