It looks as if you're trying to use the varargs vprintf style formatting when printing to a stream. That won't work. You need to either use snprintf() or similar to format the string to a char array and then print the resulting string to the serial port, or write the fixed text and the variable decimal number in separate calls to serial.print. Since there's only one variable, the second approach would seem more sensible.