test
update pintos installation