reproducibility recovered, see readme.txt