fix `generateSingleHeader.py` and update the `single header` file