This method is deprecated! This method has no function anymore since v 0.8.
public setTmpFile($tmp_file)
Please use setWorkingDirectory()