I'm trying to get Splint working with the Keil compiler, but it's given me some problems

In http://www.cs.virginia.edu/pipermail/splint-discuss/2009-August/001389.html two solutions are given for getting rid of the error of the sbit and sfr.

I prefer the solution by adding the following definitions in the splint.rc file:

-Dsfr=volatile unsigned char
-Dsbit=volatile bool

But when implementing this solution I get the following errors when running splint:

Splint 3.1.2 --- 25 Aug 2010

crx.splintrc(3,21): Cannot list files in .splintrc files:
                       unsigned, char, bool (probable missing + or -)
  A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
  warning)
include\CRX.h(154,27): Parse Error: Non-function declaration: code :
    extern byte. (For help on parse errors, see splint -help parseerrors.)
*** Cannot continue.


The content of my crx.plintrc:

-Iinclude
-Dsfr=volatile unsigned char
-Dsbit=volatile bool

Where include is the directory where my header files are located.

What am I missing here?