improved literate compilation