fix `generateSingleHeader.py` script

It looks like the `print` function needs `(` and `)` around its argument (at least for me on Windows with `Python 3.3.3`).