Fix opening VLC on MacOS.