quick fix to linux instructions