Travis config fix try #9