CCS "Can't find a source file at "/tmp/TI_MKLIBBMPOk8/SRC/exit.c" problem

Hi, 

This is the very first time I'm using CCS and I've got this problem while debuggind my code:

Can't find a source file at "/tmp/TI_MKLIBBMPOk8/SRC/exit.c"
Locate the file or edit the source lookup path to include its location.

I don't know what does ir mean nor what I have to do to solve it.

My code is quite simple and compiles with no errors. 

I'm using LauchPad for sending commands through SPI protocol to a Semtech SX1272. Here's my code:

#include <stdbool.h>
#include <stdint.h>

#include "inc/hw_memmap.h"

#include "driverlib/gpio.h"
#include "driverlib/pin_map.h"
#include "driverlib/ssi.h"
#include "driverlib/sysctl.h"

#define NUM_BYTES_SSI 2

int main(void) {
uint32_t pui32DataTx [NUM_BYTES_SSI];
uint32_t pui32DataRx [NUM_BYTES_SSI];
uint32_t ui32Index;

SysCtlClockSet (SYSCTL_SYSDIV_1 | SYSCTL_USE_OSC | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ);

SysCtlPeripheralEnable (SYSCTL_PERIPH_SSI0);
SysCtlPeripheralEnable (SYSCTL_PERIPH_GPIOA);

GPIOPinConfigure (GPIO_PA2_SSI0CLK);
GPIOPinConfigure (GPIO_PA3_SSI0FSS);
GPIOPinConfigure (GPIO_PA4_SSI0RX);
GPIOPinConfigure (GPIO_PA5_SSI0TX);

GPIOPinTypeSSI (GPIO_PORTA_BASE, GPIO_PIN_5 | GPIO_PIN_4 | GPIO_PIN_3 | GPIO_PIN_2);

SSIConfigSetExpClk (SSI0_BASE, SysCtlClockGet (), SSI_FRF_MOTO_MODE_0, SSI_MODE_MASTER, 1000000, 8);

SSIEnable (SSI0_BASE);

while (SSIDataGetNonBlocking(SSI0_BASE, &pui32DataRx[0]))
{
}

/*pui32DataTx[0] = 0x00;
pui32DataTx[1] = 0x00;
*/

//pui32DataTx[0]=0x01;
//pui32DataTx[1]=0x80;

pui32DataTx[0]=0x01;
pui32DataTx[1]=0x83;

for (ui32Index=0; ui32Index<NUM_BYTES_SSI; ui32Index++)
{
SSIDataPut (SSI0_BASE, pui32DataTx[ui32Index]);
}

while (SSIBusy(SSI0_BASE))
{
}

/*for (ui32Index=0; ui32Index<NUM_BYTES_SSI; ui32Index++)
{
SSIDataGet (SSI0_BASE, &pui32DataTx[ui32Index]);
}*/

//pui32DataRx[ui32Index] &= 0x00FF;

return 0;
}

I also would like to know is there's someway to run the code without using the Debud Mode.

Thanks in advanced,

Alberto