prog_char *is* defined in my Arduino 1.5 environment.