attempt to make buildnum.py generate a useful header