Fixes #5875: It should not be possible to delete system directives
Merge pull request #685 from fanf/bug_5875/it_should_not_be_possible_to_delete_system_directives

Fixes #5875: It should not be possible to delete system directives