Fix pdf converting: use batchmode.