Update fix for pintos script