Update to master

Hey all,

We’ve just pushed an update to master (and next) that looks like it
fixes a problem with Ubuntu 12.10. We’ve removed some old code that
was necessary at one point a while ago but looks like it was now
causing problems. The removal does not seem to affect anything that
I’m doing, and we’ve had the branch out there for a while for people
to test, and we haven’t heard any complaints.

I’m putting this note out since this could cause a problem and I want
everyone to be aware of it. So let us know if this hurts anything on
your end.