Update against the last version of Roboconf