die on svgtex error