Timer: Added missing header.