added boost 1.54 for ubuntu 14.04 (because OBS has no boost-locale)