added LinuxTimer class