Annoying workaround to lint everything

At one point in time, all this was not required.