issue #1758: updated build.xml
issue #1758: updated build.xml for extension.