Fix ugliness due to my ancient local version of requests