better judge how much longer a build will take. Patch submitted by Brian Grayson <bgrayson@ece.utexas.edu> in PR #4419.