release 0.3.20: better remote tmp file management