Update BoostTimer.h