rAKA/test/ci/debian:testing/.openmpi

bugfixes/installation…08360b35de3b6c35f5d2808…