To be fair, you guys are a bunch of pedantic nerds!

You can't completely replace construction sand with desert sand but you can replace some if you also add fly-ash however this is mostly just lab studies as real life examples are extremely scarce.

A cool thing is that you can create a type of concrete called Starcrete (https://www.degruyterbrill.com/document/doi/10.1515/eng-2022-0390/html) that is 2-3 times stronger than regular concrete by mixing martian regolith and potato starch. If you lack potatoes you can also make a version of it as strong as regular concrete if you replace the starch with human blood.