Fix installation manual for Mac

[skip ci]