Another CI fix: don't create a tmp dir if it already exists