Pintos Default File