making arduino tools happy