See if travis uses error-prone