Issue #4608: Fixed a bug that BinaryLoader.js is missing in the build.xml