added pintos directory