reduce library size

4 jobs for auto_choice in 17 minutes and 52 seconds (queued for 2 seconds)