One last try to fix travis...