OK; closing this bug then. I am really relieved that we didn't introduce a very bad regression with one of the recent updates to the installation process.