Problem mit XC167 bei printf und fließpunktzahl

Hallo zusammen,

hier habe ich mit einem komischen Problem getroffen. Ich möchte im 
Programm Fließpunktzahlen benutzen. Aber es sieht das, dass es komflikt 
mit Funktion "printf" gibt.
Das Programm ist wie folgend geschrieben.
Wenn ich die Funktion "printf" benutzte und paraller eine Fließpunktzahl 
definierte dann kommt Problem bei Programm herunterladen, aber es kommt 
kein Problem bei der Complierung..

#include <XC167.h>
#include <stdio.h>

#define WillProblem 0

void main (void)  {

#if WillProblem == 1
  double Problem = 1.0;
#endif

#ifndef Monitor
  P3  |= 0x0400;
  DP3 |= 0x0400;
  DP3 &= 0xF7FF;
  ASC0_TIC = 0x80;
  ASC0_RIC = 0x00;
  ASC0_BG  = 0x81;
  ASC0_CON = 0x8011;
#endif
  ALTSEL0P3 |= 0x0C03;

  putchar(' ');

  printf ("\xAHello World\n");

  while (1);
}