Hopefully fixed the jenkins build script