puppet debian