ringfs.c: use C99-compliant printf format