[#45685001] Travis CI: Another try with a different script.