Upgrade to get the newes riemann-tools