Help with an s390x build failure