Fixed timer in Linux