tweak how boost is handled on ubuntu 12