Some Travis script clean-up