Fix minor bugs. Rename shared object files.