Board.detect() now detects Arduino boards on a Raspberry Pi running Rasbian