fix compilation

2 jobs for master in 33 minutes and 21 seconds (queued for 133 minutes and 1 second)