re #10661 remove linux warning
Merge branch 'feature/10661_support_inst_repo_file_removal' into develop