We fixed travis, it’s back to C++11 now