texmacs: enable new pdf renderer