Fixed build problem with configtool product in Jenkins