remove lint.t, which looks too noisy