Fix another linux-timer.c compile problem.
Fix another linux-timer.c compile problem.

I hadn't tested with debug enabled, so all of buildbot failed last night.

arm-hpc/papi,arm-hpc/papi,pyrovski/papi,arm-hpc/papi,pyrovski/papi,arm-hpc/papi,pyrovski/papi,pyrovski/papi,pyrovski/papi,arm-hpc/papi,pyrovski/papi,pyrovski/papi,arm-hpc/papi,arm-hpc/papi,pyrovski/papi