Arduino Due compiler error

ERROR MSG:
arm-none-eabi-gcc: error: core/syscalls_sam3.c.o: No such file or directory
arm-none-eabi-gcc: error: core.a: No such file or directory
Error compiling.

I am getting the above error message on compiling a program on the Arduino Due, under Arduino IDE 1.6.5. Can someone help me with this please?

My code is below… there are three hardware interrupts and ISRs and a pin-change interrupt for each output of an 11-bit gray-code encoder. A change on any pin will branch execution to the same ISR, encoder_ISR.

#include <DueTimer.h>

#define RO2_pin 4
#define RO1_pin 5
#define echo_pin 6
#define enc0 7
#define enc1 8
#define enc2 9
#define enc3 10
#define enc4 11
#define enc5 12
#define enc6 13
#define enc7 14
#define enc8 15
#define enc9 16
#define enc10 17

void setup() {
  Serial.begin(115200);
  attachInterrupt(digitalPinToInterrupt(RO2_pin), RO2_ISR, RISING);
  attachInterrupt(digitalPinToInterrupt(RO1_pin), RO1_ISR, RISING);
  attachInterrupt(digitalPinToInterrupt(echo_pin),ECHO_ISR , RISING);
  attachInterrupt(digitalPinToInterrupt(enc0),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc1),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc2),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc3),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc4),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc5),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc6),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc7),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc8),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc9),encoder_ISR , CHANGE);
  attachInterrupt(digitalPinToInterrupt(enc10),encoder_ISR , CHANGE);
}

void loop() {
  // put your main code here, to run repeatedly:
  long us=micros();
  int grayValue = 1000;
  int binValue = graytobin(grayValue, 11);
  Serial.print(binValue);
  Serial.print(" ");
  Serial.print(micros() - us);
  Serial.println("us");
}

/*// Read 11-bit data
int readGrayEncoder(){
  byte grayValueLowByte=PORTA;
  byte grayValueHighByte=PORTC;
  int grayValue= (grayValueHighByte & B00000111)*256 + grayValueLowByte;
  return grayValue;
}
*/

// read a gray-coded value and convert back to a binary value
//Converts an 11-bit gray code to binary in 336 us on ATMega328 @16MHz
int graytobin(int grayVal, int nbits ) {
  // Bn-1 = Bn XOR Gn-1   source of method:  http://stackoverflow.com/questions/5131476/gray-code-to-binary-conversion but include correction 
  int binVal = 0;
  bitWrite(binVal, nbits - 1, bitRead(grayVal, nbits - 1)); // MSB stays the same
  for (int b = nbits - 1; b > 0; b-- ) {
    // XOR bits
    if (bitRead(binVal, b) == bitRead(grayVal, b - 1)) { // binary bit and gray bit-1 the same
      bitWrite(binVal, b - 1, 0);
    }
    else {
      bitWrite(binVal, b - 1, 1);
    }
  }
  return binVal;
}

void RO2_ISR(){
  
}

void RO1_ISR(){
  
}

void ECHO_ISR(){
  
}

void encoder_ISR(){
  
}

The error has gone by using Arduino IDE 1.6.7! :confused: