Improve build.xml
Update lib_txf.xml