You don’t have a board type defined, so the custom board type will be used. Unless you’ve changed the pin assignments in Settings.h then GPIO4 is already in use for the LED the indicates the Edgent provisioning state.
You should read the “Defining your physical switch and LED” section of this tutorial for more info…