Output spiffsans in a format that plays better with Spiff.scad