tmp gcc fix for preprocessed headers