This patch (the ```--no-user-package-db``` flag) causes ```bootstrap.sh``` to ignore the package database in ```~/.ghc```, forcing it to download fresh versions of the packages in question. I think this should solve the proble. It worked on my system at least, but then I'd just downloaded fresh versions on the prior install anyway so I'm not sure it's representative. Would need a config like the bots had earlier where we know it fails otherwise.