Maybe the travis-ci problem is IPv6 related after all... (rg. #3)