update #274: add ppa for eigen3 3.2 and boost 1.54