updated installation instructions (in doc) to fix Mavericks issue