Hopefully fixed issue with Jenkins linux build script.