Network Exercise 2. Controlling LED with TCP communication - PROBLEM

Finaly I buy WIZwiki-W7500P and try to run project … ed_control
I go to link … iki-W7500/ and in Repository toolbox select IMPORT INTO COMPILER.
In my apeared new project BUT have error witch compilation:
Can not open source input file device.h : No such file or directory
If I change target platform from W7500P to W7500 - project sucessfull compiled.
But I have W7500P (no W7500).
Please let me link to working project for W7500P or say - what change need to do witch this project.

Sorry for late reply.
I think this problem would be caused by “old mbed library”
So I recommend updating to the latest mbed library.
Thank you