tmp files are already ignored