Thanks! I'm not sure why this is necessary but I hope it takes care of
the failing builds we've been seeing.
If you can think of anything else we can do to make the process of
submitting patches easier and more straightforward, please speak up.
Of course, as always we continue to accept contributions on GitHub for
those who are more comfortable with that approach.