Using libprelude to interoperate with prelude-manager