Hi,

This happens because a newer version of GCC is being used with an older firmware version for the Profilux. Anytime you download and use a newer version of GCC, it is best to update your Profilux also to make sure the versions of GCC and Profilux match.