carefully handle deletion of Linux timer to avoid errors
carefully handle deletion of Linux timer to avoid errors

HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit,HPCToolkit/hpctoolkit