oops bad .so links (again) :-/