Re: [Hackage] #541: bootstrap.sh ignores PREFIX environment variable