Travis: I guess we need to export CC and CXX. So tedious...