hmm I have big sur as well