[Bug 1031334] New: openhpi fails to build with GCC 7