On Thu, 24 Sep 2009, Karl Berry wrote: > wget http://tug.org/~karl/sharable-tex.fmt.gz > gunzip sharable-tex.fmt.gz > tex \&./sharable-tex \\end x86_64-linux OK Regards Peter Breitenlohner <peb at mppmu.mpg.de>