Regenerate lib after #143