trying to fix parallel building of prob for rodin 2 and rodin 3