Fixed up the nightly jenkins script