rename to keep Arduino IDE happy