update lemmad to 4f2c11d