Work around a bug in pip.