Remove non-functional part of recent patch, after discussion with

Colin Percival (this would have caused more problems than solved,
and isn't really necessary anyway)