make it easier to handle deletions in dox installs