travis-ci: manually add muelu