fix openmpi include path (closes: #939683)