Removing a nonexistent file is OK (fixes #792)