Hi! It seems there is a problem updating _precompiled.incl.gch when a header changed. I noticed that already yesterday and right now, just after an update, it didn't get regenerated and so some new declarations were missing. Anyone else seeing this problem? Are we missing Makefile dependencies? -- Christian