Renamed pinocchio to pnc.