add server.xml to set of files we copy at setup time