Don't tamper with $_SERVER in tool namespace