So from there you will need to just find the file and rename it.
Now you will just need to find a file that has “flash” in the name of it.
In my case it is FlashZv9s8f yours should be something similar.
In most versions of Linux you’re able to find VLC pre-installed or in your package manager.