Forgot to commit the deletion of the lib directory in commit 0eebc0dc3a9728ed966d1a03ab30235afec193ba.