fix compilation error in maybe

3 jobs for develop in 13 minutes and 50 seconds (queued for 3 seconds)