Fix broken build: workspace w/o temporary file name