php_network_getaddresses: getaddrinfo for arpal.mysql.tools failed: Name or service not known