boost timer library not needed