Update Boehm GC Ubuntu installation tip.