@catoutofbed @samis uhh. apparently this is sending arduino-builder -prefs compiler.cpp.extra_flags=-std=c++11
soooooooough :(