C: fix UVX uvuformat for -Duse64bitint -Uuse64bitall on 32bit systems #145

use the probed uvuformat, i.e. %Lu not %lu, for such numbers
Fixes issue 145.