fix wrong printf formatting of signed/unsigned integers