Just for info: the UVic Jenkins machine is currently down because it's being cloned to create a new Jenkins build server for other projects. Should be up again soon. Cheers, Martin