fix an fprintf that should be fputs (quiets gcc)