travis trick: Always install gcc-4.8, even when using clang (for the headers)