bernied/objective-scheme not found