Ugly hack to recover from non-working libboost1.54-dev when 1.53 is not available on Ubuntu 14.04