More work on zlint_driver