Changed Travis config to install libstdc++-4.8-dev as well.