Fix for intermittent Travis network problems