Might as well use the version that just got released (0.10.19).