Update Linux compilation/installation instructions.