In the next commit, timer.h will require a _GNU_SOURCE to be set before including system headers. This commit prevents compilation failures.
In the next commit, timer.h will require a _GNU_SOURCE to be set before including system headers. This commit prevents compilation failures.