bugfix: .so name on linux