Bump arduino.mk to get improved output.