Default Arduino port now chosen on MacOS.