update lemmad to 7137bf2