What you don’t want a file named `reboot`?