Fix for jenkins build script