tags 273442 + unreproducible thanks Hi, we cannot do anything about this without the preprocessed source, as obtained by adding -save-temps to the options. -- Falk