update build server configuration info and auxiliary batch files