Fix robocfg building following last commit