Update linux docs, build bug fixes.

As per title.

(NB: this pull includes the merge commit from previous develop -> master pull)