Hacky fix for Ubuntu 14.04 and missing suitable Boost