std_prelude builds again