On Thursday, September 17, 2015 at 10:11:42 AM UTC-4, Juan RP wrote:
>
> It is a bug that must be fixed...
>

Ok -- thanks. Knowing that helps to work around it in subsequent installs 
prior to the fix.