Bump version numbers to pick up patch levels