Further reproducibility improvements for the ISSTA 2013 submission