Fix applied and buildbot restarted; we'll find out if it works when someone commits something...

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.