travis: get rid of lint