chiark / gitweb /
jenkins-build: clean / fix paths to buildserver base box setup