Remove xeloetex; see compile_examples for a nicer implementation