Bump version -- people should be running a recent version of master by now.