Thanks @plutov, nice done.

That detail about copying .sum and .mod to avoid re-downloading on every build is super useful.