Allow USML to work with the Boost 1.41 that comes with CentOS.
Use the progress_timer from Boost 1.41 instead of auto_cpu_timer from 1.57.