Merged dbase_file_flush patch from Dan Walsh. This removes any mention of
        specific tools (e.g. semanage) from the comment header of the
        auto-generated files, since there are multiple front-end tools.