64 bit Linux install of Arduino for debugging purposes