Same. $ vlc -vv VLC media player 3.0.3 Vetinari (revision 3.0.3-1-0-gc2bb759264) [000055ddb42d51a0] main libvlc debug: VLC media player - 3.0.3 Vetinari [000055ddb42d51a0] main libvlc debug: Copyright © 1996-2018 the VideoLAN team [000055ddb42d51a0] main libvlc debug: revision 3.0.3-1-0-gc2bb759264 ...