Merge remote-tracking branch 'origin/patches-2.0' This is an "ours" commit: I'm not taking the recent autotools changes from patches-2.0, since they'd conflict with master.