Some changes to texrunner.