compilation speed up: preprocessed headers tools/preprocessed.sh to generate