don't use export sugar, remove install-prelude