openmpi: updated to 1.8.4