A small pull request before I can safely merge yours...

Bitmap font generation works fine without it and it certainly doesn't belong here...