On the basis of final comments about #603986 a rebuild could fix the problem. -- Francesco P. Lovergine