On Mon, July 3, 2017 11:58 am, Reindl Harald wrote: > issues like below are also reported by a friend on his machines for some > days, randomly with different files I'm looking into it -- will email off-list -- Cheers, Steve Twitter: @sanesecurity