Fix Issue mikaelpatel/Cosa#262

See also [commit](https://github.com/SlashDevin/Cosa/commit/3a78b54c48c8f5d9e2d86573e0389c902cbee564) regarding CosaBenchmarkRTCTimer.ino