Fix objective.compile in Benchmarks and Miscellaneous stuff
#1503
| Job | Run time |
|---|---|
| 17m 2s | |
| 12m 34s | |
| 15m 3s | |
| 17m 42s | |
| 15m 1s | |
| 12m 21s | |
| 12m 43s | |
| 11m 24s | |
| 1h 53m 50s |