fix fprintf use

Some compilers and implementations are not fully happy if the format
string is not a string literal...