i'm a newbie with Raspberry PI (my model is B+). I'm tryng to write a script in python that read a midi file and switch on/off leds... My code for reading midi file is this one:

import mido
output = mido.open_output()
from mido import MidiFile

mid = MidiFile('stan.mid')

for message in MidiFile(mid).play():
    output.send(message)

but when i execute the script i have this error:

OSError: libportmidi.so: cannot open shared object file: No such file or directory

looking into raspberry i find the library into /user/lib folder under libportmidi.so.0 name.

What's wrong??