Merge pull request #9232 from tobiasd/20200917-install