Using boost4.8 when building linux binaries