Fix compilation

2 jobs for master in 9 minutes and 17 seconds (queued for 15 minutes)