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??