Provided a timer workaround for older versions of boost
Merge branch 'gccrelax'