update linux instructions

partly fixes issue 1