Fix travis (bug 1038957)