New version of python script for preprocessing header files.