[backend] use $$ for tmp file name in reposerver