Accidentally including wrong header.
Found a bug in the system timer while creating a
unit test for profile timer.