fixes for build at Jenkins