modify pintos install post