Quiet travis-lint