Cut out some old stuff from {post,pre}inst.