Fix puppet32x dep