extract common things to prelude.tex