No matches were found for subject:"Bug#656411\: texmacs\: Requires an X server even to convert files on the command line"