Workaround for Arduino preprocessor bug