Download Arduino: Error Compiling on raspberry Pi - no error details provided in IDE Watch online