More changes for reproducibility for ISSTA