update #274 : proper boost1.54 ppa for precise