I Use the S32DS extensions and Updates to install the S32SDK_S32K1XX_RTM_4.0.1, as below shows:

But when I start the example project it report the error below:

My question is how should I update the SDK from S32SDK_S32K1XX_RTM_4.0.1 to S32SDK_S32K1XX_RTM_4.0.2 or S32SDK_S32K1XX_RTM_4.0.3.
Thanks