update lemmad to 9fd0b42