Update doc to reflect compilation on Linux.