Install daplint