Fixed #5636: update the file list of build.xml

update the file list of build.xml