upgrade prelude to 1.2