Hello :

Here there is the solution :

In the rbIBO.dpk package definition you have to change the IBO_D5.dcp with
IBO40XDT_D5.dcp.

That's all

David
Delsys