Slightly updated installation instructions