v0.0.x: fix tools/lint