Library problems ...

Try replacing WConstants.h with Arduino.h.