Tweaking builder.py to inspect last-modified times.