[galaxy-dev] tmp file under database/tmp get regenerated after restarting Galaxy