[bob-devel] Fix build string separator (bis)

2 jobs for learn-boosting-pin in 11 minutes and 19 seconds (queued for 5 seconds)