(which is safe in this context). The same build error does not appear on amd64. I don't understand this. ok giovanni@