Fixed bug with wrong disk image name for VLC DMG mount.