Renamed lazy.* to lazy-auto.*, since a new minimal version is coming.