Added simpler header file that pycparser can deal with.