TravisCI apt-get currently gives MUMmer 3.22, manually install MUMmer 3.23