My main distro is actually Linux mint 18 mate and i have been using mint since version 11, usually prefering to stick on the LTS editions.
I use puppy on my media centre box as its only low end with 1 700mhz P3 CPU and 512mb RAM

I have some videos shot from my smartphone that are in MP4 format that i want to be able to edit. I have tried apps on Android but I don't like the UI.
What are the best Linux video editing programs that I can cut, join and watermark MP4 720p HD video files?

Thanks for posting this bit of old skool gaming. The original game was from French software house Delphine who also did the sequel Flashback. I used to have this game on my Amiga back in the 90s and i remember it being pretty tough and unforgiving.