minor cleanup of "binary installation" section