Changing names of .so files on UNIX.