[REF][runbot_prebuild] Bad merge change

Add change lost in last merge