Fix to compile under gpxe