CRAY - fix bad header include