Fix Ubuntu-12.04 issue with boost::system missing symbol