install_abyss.sh: add explicit support for --with-mpi build option.