2018-05-30 13:05 GMT+02:00, Gabriel Zachmann <zach at cs.uni-bremen.de>: > (Full output below) Unfortunately not... Please provide the command line you tested together with the complete, uncut console output, remove the options -hide_banner and -loglevel if you need support. (The version you tested is old.) Carl Eugen