fix the linux section of the contributing doc