Merge pull request #121424 from dotlambda/ophis-fix
ophis: fix build
authored by Anderson Torres and committed by GitHub 5 years ago 4e78613c bebfaab5