I fixed the pylint runner so that it correctly works under CI.