pin workaround for python bug more precisely