updated for Jenkins-based nightly tests