Update virtualenv, to not die under Ubuntu 13.04