Try to mend TravisCI tests