Fix build against latest Eq