multiple names, choose the "GPIO" number. This was tested using Arduino 1.6.8 and the esp8266 core 2.2.0 // GPIO 2 is D4 on the esp-12e board.