quick hack to overright image name further down stack

app/coffee/DockerRunner.coffee

@@ -38,6 +38,10 @@ module.exports = DockerRunner =
 		if !image?
 			image = Settings.clsi.docker.image
 
+		if Settings.texliveImageNameOveride?
+			tag = image.split(":")[1]
+			image = "#{Settings.texliveImageNameOveride}:#{tag}"
+
 		options      = DockerRunner._getContainerOptions(command, image, volumes, timeout, environment)
 		fingerprint  = DockerRunner._fingerprintContainer(options)
 		options.name = name = "project-#{project_id}-#{fingerprint}"