Fix compilation #661

Job	Run time
omnibus compilations, trigger	2s
omnibus compilations, #4	27m 35s
omnibus compilations, #3	28m 35s
omnibus compilations, #5	2m 55s
omnibus compilations, #6	29m 19s
omnibus compilations, #1	28m 31s
omnibus compilations, #2	33m 18s
omnibus compilations, #10	33m 19s
omnibus compilations, #11	25m 47s
omnibus compilations, #9	30m 3s
omnibus compilations, #7	28m 52s
omnibus compilations, #12	29m 49s
omnibus compilations, #8	26m 12s
omnibus compilations, result	12s
	5h 24m 29s

Provide feedback