I'm trying to play a MIDI file in my Linux Mint 18 Cinnamon. I just open the MIDI file with any music player and it says it requires a plugin named gstreamer1.0-plugins-bad, so I click "Install" and then nothing happens, the player can't play the MIDI file.
I tried to install the plugin using apt-get install gstreamer1.0-plugins-bad but it says gstreamer1.0-plugins-bad is already the newest version (1.8.2-1ubuntu0.1).
Any music player (including the "Video" application) says it needs this plugin every time I try to play a MIDI file, then just nothing happens.
OS: Linux Mint 18 Cinnamon 64 bit; Cinnamon version: 3.0.7; Kernel version: 4.4.0-38-generic.
Edit: The thing I need is playing a MIDI file using any audio player, I know there's VLC and its own plugin that can play MIDI file on its own, but what I need is playing a MIDI file using for ex. Banshee, Video or a professional audio producing software through a system plugin.