Switch Travis from 5.19 to 5.20