Timings before and after: 8 s before (when there are no source changes) and 0.5 s after (using MD5 trick)