Change version numbers for v.1.20 release