Documentation update for Linux port.

Also small bug fix for MinGW port.