How did you manage to install it? I double click the vlc-3.0.0.dmg file, but it doesn't get mounted, cannot see the content anywhere.