Update Pintos.md