mini_prelude builds again