Enhanced to output NEXEC_DEFAULT_PORT into nexec/config.h.