Bump version number to 5.20