arduinoethernet: support for workfile build.