[Hackage] #926: bootstrap.sh with --global ignores PREFIX