Fix typo in os name.
Fix build instructions to avoid confusion.