Configuracion del Timer 2 en PIC32 con Placa Pinguino Micro de OLIMEX

[albertoxx]

Tengo el siguiente problema compre una placa pinguino micro de olimex que por sus precio y caracteristicas me parecieron accesibles ya que al parecer corre a 80Mhz, y no tengo el pickit3 para programarlo directamente asi que use la plataforma pinguino para programarlo por USB ya he echo unas pruebas y funciona bien, ahora que empeze a usar el timer2 me sale que el procedimiento Tmr2Interrupt ya esta declarado anteriormente, procedi a cambiarle el nombre pero luego tira que el vector 8 ya esta ocupado, escarvando un poco encontre que esta interrupcion la usa un procedimiento millis, necesitaria saber como inhabilitar esta y otras funciones que no las pienso usar o que procedimiento puedo usar para poder compilar en mplab y meterle el codigo al pic pero via usb

  void __attribute__ ((nomips16)) ISR_wrapper_vector_8(void) __attribute__ ((section (".vector_8")));
  void __attribute__ ((nomips16)) Tmr2Interrupt(void) __attribute__ ((interrupt));
  void __attribute__ ((nomips16)) ISR_wrapper_vector_8(void) { Tmr2Interrupt(); }

void  __attribute__ ((nomips16))  Tmr2Interrupt(void) 
{
 PORTD ^= 0x40;
}

void setup(){
  //System.setCpuFrequency(80000000); // should be 80 MHz
  //System.setPeripheralFrequency(80000000); // should be 80 MHz
  T2CON=0;		          
  TMR2=0;			        
  PR2=1;		            
  IPC2SET=0x1F;		    
  IFS0CLR=0x100;	   	  
  IEC0SET=0x100;	
  T2CONSET=0x8070;	
  TRISDCLR = 0x40;
  PORTDCLR = 0x40;
}

void loop() {
}