tags 253077 +unreproducible Hi, without preprocessed source (as obtained by adding -save-temps), we cannot do anything about this. -- Falk