Fix compatibility with Travis's g++ version