Correct shared-object loading error on Travis CI