[Travis] hopefully fix download of opencv (finally)