Re: [GHC] #9057: Remove /usr/bin/… references