Minor updates in the compiler config header