Document new option in oslexec.h