Make sure results are reproducible in misc directory