Half-done linux timer