issue #3828: Updates travis script.