don't rewrite the header file if it hasn't changed; this reduces development build time