additional nexus header needed for linux. re #6922