Temp workaround for Travis DNS issues