More typo fixes in Linux compilation/installation instructions.