On Wed, 2020-06-17 at 00:25 +0200, Mark Wielaard wrote: > We try to find a compressed vmlinux image ending with either .gz, bz2 or > xz. Stop searching if we find one. Otherwise we will leak a file descriptor > for an earlier one we opened. Pushed to master