I see from surfing around there's been an update for the MDK available 'sometime last week'; to version 3.14.
I've seen a 3.12, but this seems to be for the Chinese market.
Nothing visible on the Keil website (that I've seen).
Anyone able to shed some light on it?
Shouldn't you contact Keil direct on this one?
You will find it in Luminary demo board CDs