use newer nexus header. re #6922