Trying to fix travis config