Use red badger version for now