Hi, Following up on Jeremy's question above, does Debian 8.3.0 (image as of early 2016) include a fix?
Alternatively, could someone (Matteo?) indicate the steps to fix this during the install process? Not sure if you're patching the installer code and recompiling during the install process or something else. Thanks, Z
