Please take at look at comment in this PR https://github.com/arduino/Arduino/pull/6494 Could it be included in the next version? Thanks!