upgrade prelude.ls and use its functions