setup.py: Modified library files list so it works on the latest
    set of packages for Ubuntu Gutsy (7.10).
    Note that an up-to-date Gutsy install broke IVLE due to newer
    versions of .so files with new names.
    This is a temporary solution, as this is going to keep happening
    (and it likely still won't work in Hardy). But at least it's working for
    now.