Hello. I made the above mentioned PR. Due to I'm building very often a week world on amd64, I do not further recognize the in the PR mentioned problems. I would appreciate closing this PR, so we can get rid of one. Oliver