texmacs update to 1.0.7.19