C++: time infrastructure headers