be more paranoid about automatic restart filename generation