CI should be now ok on Travis