no need to FLUFFOS prefix, just use POSIX_TIMERS_H