upgrade prelude.ls version