tweak installation instructions

4 jobs for misc_fixes in 4 minutes and 54 seconds (queued for 12 seconds)