Merge pull request #138589 from fabaff/fix-expliot
expliot: fix build
authored by Fabian Affolter and committed by GitHub 4 years ago 7b78071f b8779dbf