updates to support new prelude version