Switch to pintos v2 for proj2