jwnz

I had a similar problem on Ubuntu, but it had to do with the naming of the `.so` file. I just make a copy of the `.so` and changed its...