cleanup

4 jobs for better_minimizers in 14 minutes and 57 seconds