options.c: fix printf format