Some compilers complain about using "%i" with Integer32, so cast it
away. Which is bad in itself, but I see no other clean option;
fortunately, it's only diagnostic messages.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>