Clarify the meaning of no-stdio in INSTALL