fix}*.html"].each do |tools_file|
          tool_path = tools_file.gsub(tools_html_path, '')
          tool_name = tools_file.gsub(tools_html_prefix, '').split('.').first
          tool_name = tool_name.capitalize
      %>
          <li><a href="<%= tool_path %>"><%= tool_name %></a></li>
      <% end %>

      <%
        # add the ip aliases for web tools hosts so we can map internal tools
        # to their own vhost to make proxying easier (rewriting url paths for
        # proxy is a real pain, e.g. '/g