This is the original pintos2.tgz extracted: An updated clean slate