Update one previously cleared paper, and clear three more

This clears all of the unbuildable OSDI '12 papers.