minor update to clarify that linux instructions are alternative to cabal