Touchups around arduino.mk