Remove unnecessary prelude file