Fix for bug in timing on Mac OS X

Already fixed in the Solutions directory, copying across to here too.