Indeed, I just don't want to ship a broken installer for Debian for 1.2 rc3, so this is a quick fix. We can look at how to solve it properly, hopefully before the final release of 1.2, but certainly before 1.3