travis-ci: another stab at muelu