update 8.0 with recent 7.0 changes, update travis config