Fix big_time fonttools

These two tweaks were necessary to get font2png.py to run successfully locally.