Travis DNS workaround didn't work