Hi, I am running VLC 3.4.0 beta 5 on android. I had the same problem. On beta 3, it seem fixed (the source file name appeared both on directory listings, the history, and the file name being played). On beta 4, it started using the same file name (a real one) for several files but it presented a pro...