Fixed linux timer bug