Michael van der Westhuizen: Update instructions for building on Linux.