use correct .so file on travis builds