Removed spurious arguments to debug_file_printf.

I found some mistakes in my earlier pull requests.  They are benign—just extra printf arguments—but we might as well clean them up.