No target "tex" - we have to do this differently