Temporarily work around pip issue 1376