Travis: use gcc 4.8 for C++11.
Add missing include.