PHP embedded library soname change