Fixes for compilation in Linux

Two fixes to the compilation in Linux and with the new Arduino toolkit.