Removed linux-specific timer