Batch extension asking for Robofont 3.2