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.