travis-ci: openmpi-bin -> mpi-default-bin