It would be nice to have compilers pinned (7.2.0 on Linux) on bob-devel too just to make sure they don't break.