Obsolete posix timers removed; they are used by default if available now.