restore a (potentially) necessary line that was mistakenly removed
restore a (potentially) necessary line that was mistakenly removed

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