script to do the TachyFont preprocessing