Deal with update `pintos' script.