get rid of prelude

not necessary