Compiler/TM4C123GH6PM: TivaWare's FatFs results in "Verification failed" when programmed onto TM4C123GXL

Tool/software: TI C/C++ Compiler

Hi. I'm facing an issue in getting the third-party FatFs library (that is part of TivaWare) to work. The built goes without error (**** Build Finished ****), but once I start programming the thing onto my target (LaunchPad TM4C123GXL), I get the error message:

"Load program Error. File: *.out: a data verification error occurred, file load failed"

In the console, it is written in red:

CORTEX_M4_0: File Loader: Verification failed: Values at address 0x00007FF0 do not match Please verify target memory and memory map.
CORTEX_M4_0: GEL: File: *.out: a data verification error occurred, file load failed.

This is the simple application that I'm trying to execute:

#include "fatfs/src/ff.h"

FATFS FatFs;   /* Work area (file system object) for logical drive */

int main(void)
{
    FIL fil;       /* File object */
    FRESULT fr;    /* FatFs return code */

    /* Register work area to the default drive */
    f_mount(0, &FatFs);

    /* Open a text file */
    fr = f_open(&fil, "message.txt", FA_READ);
    if (fr) return (int)fr;

    /* Loop forever */
    while(1);
}

If I comment out the call to f_open, it doesn't give me the error message. Do you have any ideas about this issue?

I'm running CCS7 and have tried to using both an old (TI v5.2.9) and a new (TI v16.12.0.STS) ARM compiler, but with the same result.

/ Andreas