Update server.xml to deal with newer Stash.