updated gumbel to 0.14